Improving the early diagnostic of prostate cancer by multiple biomarker detection with new biosensing devices

Prostate cancer (PCa) is the most common form of cancer in men, in Europe (World Health Organization data). The most recent statistics, in Portuguese territory, confirm this scenario, which states that about 50% of Portuguese men may suffer from prostate cancer and 15% of these will die from this condition. Its early detection is therefore fundamental. This is currently being done by Prostate Specific Antigen (PSA) screening in urine but false positive and negative results are quite often obtained and many patients are sent to unnecessary biopsy procedures. This early detection protocol may be improved, by the development of point-of-care cancer detection devices, not only to PSA but also to other biomarkers recently identified. Thus, the present work aims to screen several biomarkers in cultured human prostate cell lines, serum and urine samples, developing low cost sensors based on new synthetic biomaterials. Biomarkers considered in this study are the following: prostate specific antigen (PSA), annexin A3 (ANXA3), microseminoprotein-beta (MSMB) and sarcosine (SAR). The biomarker recognition may occurs by means of molecularly imprinted polymers (MIP), which are a kind of plastic antibodies, and enzymatic approaches. The growth of a rigid polymer, chemically stable, using the biomarker as a template allows the synthesis of the plastic antibody. MIPs show high sensitivity/selectivity and present much longer stability and much lower price than natural antibodies. This nanostructured material was prepared on a carbon solid. The interaction between the biomarker and the sensing-material produces electrical signals generating quantitative or semi-quantitative data. These devices allow inexpensive and portable detection in point-of-care testing.

A type system for value-dependent information flow analysis

Information systems are widespread and used by anyone with computing devices as well as corporations and governments. It is often the case that security leaks are introduced during the development of an application. Reasons for these security bugs are multiple but among them one can easily identify that it is very hard to define and enforce relevant security policies in modern software. This is because modern applications often rely on container sharing and multi-tenancy where, for instance, data can be stored in the same physical space but is logically mapped into different security compartments or data structures. In turn, these security compartments, to which data is classified into in security policies, can also be dynamic and depend on runtime data. In this thesis we introduce and develop the novel notion of dependent information flow types, and focus on the problem of ensuring data confidentiality in data-centric software. Dependent information flow types fit within the standard framework of dependent type theory, but, unlike usual dependent types, crucially allow the security level of a type, rather than just the structural data type itself, to depend on runtime values. Our dependent function and dependent sum information flow types provide a direct, natural and elegant way to express and enforce fine grained security policies on programs. Namely programs that manipulate structured data types in which the security level of a structure field may depend on values dynamically stored in other fields The main contribution of this work is an efficient analysis that allows programmers to verify, during the development phase, whether programs have information leaks, that is, it verifies whether programs protect the confidentiality of the information they manipulate. As such, we also implemented a prototype typechecker that can be found at http://ctp.di.fct.unl.pt/DIFTprototype/.